miniOS.C int scheduler_init(void)
{
if(task_manage.max_task_id < 0)
return −1;
}
TCB_PtrCurrentTask = &TCB;
TCB_PtrNextTask = &task_manage.free_task_pool[0];
mini_current_index = −1;
return 0;